More from this Author

Christian Origins and Greco-Roman Culture

by Stanley E. Porter (Editor), Andrew Pitts (Editor)

Category Theory and Computer Science

by David Pitt, Peter Dybjer (Editor), Andrew Pitts (Editor), Axel Poigne (Editor), David E. Rydeheard (Editor)

Automata, Languages, and Programming

by Artur Czumaj (Editor), Kurt Mehlhorn (Editor), Andrew Pitts (Editor), Roger Wattenhofer (Editor)

Foundations of Software Science and Computation Structures

by Andrew Pitts (Editor)